Inter
How to build call graph via class hierarchy analysis
Concept of interprocedural control-flow graph
An ICFG of a program consists of CFGs of the methods in the program, plus two kinds of additional edges:
Call edges: from call sites to the entry nodes of their callees
Return edges: from exit nodes of the callees to the statements following their call sites (i.e., return sites)
Concept of interprocedural data-flow analysis
Interprocedural constant propagation
最后更新:
2022-01-04 12:19:35
本页作者: